嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.     

钴/镍复合中间层真空扩散连接钨与钢

以钴粉/镍箔为复合中间层，采用800，900和1 000 ℃等三种连接温度，加压10 MPa并保温120 min的工艺条件，对钨/钢真空扩散连接. 研究了接头的微观组织、成分分布、力学性能及断口特征. 结果表明，连接温度为800 ℃和900 ℃时，钨/中间层界面金属间化合物生成很少，对应接头抗剪强度分别为186 MPa和172 MPa，断口均位于钨母材中近界面的位置，为典型解理断裂形貌；当连接温度升至1 000 ℃时，钨/中间层界面生成厚度小于2 μm的连续金属间化合物层，接头抗剪强度降至115 MPa，断裂也发生在钨母材中近界面的位置，断口大部分区域为沿晶断裂特征.     

215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计

介绍215/70R17.5 10PR 118/116L无内胎半钢载重子午线轮胎的设计。结构设计:外直径741 mm,断面宽204 mm,行驶面宽度164 mm,胎冠曲线采用反向弧设计,胎圈着合直径442.8 mm,胎圈着合宽度178 mm,断面水平轴位置(H_1/H_2)1.0,采用4条纵向花纹沟设计,花纹深度12 mm,花纹饱和度71.3%,花纹周节数63。施工设计:胎面胶采用乳聚丁苯橡胶与顺丁橡胶并用的生胶体系,带束层采用2层2+7×0.28HT钢丝帘线,胎体采用2层2220dtex/2聚酯帘线,胎体上加贴2层锦纶帘布过渡增强层,胎圈采用软、硬两种三角胶,采用二次法成型机成型、B型液压硫化机硫化。成品性能试验结果表明:轮胎的充气外缘尺寸、强度性能、耐久性能和高速性能均达到相关标准要求,胎圈耐久性能显著提高。     

全钢载重子午线轮胎内衬层复合气泡的改善

分析全钢载重子午线轮胎内衬层复合气泡产生原因并提出相应的解决措施。通过增大复合压辊角度、硬度和压力及在气密层复合前增加位移传感器以减小气密层拉伸,使其与过渡层复合后收缩率一致,解决了内衬层复合气泡问题,提高了轮胎质量和企业经济效益。     

改性防护蜡对轮胎胎侧胶性能的影响

研究改性防护蜡对轮胎胎侧胶性能的影响。结果表明,与传统防护蜡相比,改性防护蜡异构烷烃质量分数较小,结晶尺寸小且致密程度高。改性防护蜡可在不影响胎侧胶硫化特性和物理性能的前提下,大幅提高胎侧胶抗喷霜性能,保证轮胎表面不受臭氧侵蚀,在防止裂纹产生的同时明显改善成品轮胎外观。     

轮胎材料分布图精确复原方法研究

研究轮胎材料分布图精确复原方法。通过在轮胎内侧填充具有"流-固"态变化特性的流体材料,如环氧树脂硬胶,保持胎里轮廓形状,将轮胎与填充体共同切割,避免了轮胎切片后内应力释放造成的形变,保证断面上各个部件的尺寸、形状与完整轮胎真实状态一致。对填充固化材料的轮胎切片断面进行三维激光扫描仪扫描获得精确的轮胎内外轮廓,在此基础上复原出比较精确的轮胎材料分布图,用于建立有限元仿真计算的几何模型,对195/65R15轮胎进行有限元仿真分析,结果表明轮胎充气外缘尺寸的仿真精度较高,仿真得到的轮胎轮廓与轮胎真实轮廓吻合度非常高,仿真得到的轮胎接地印痕形状与试验测得的轮胎接地印痕形状吻合度较高。     

高强型高模量低收缩聚酯帘线性能的研究

研究高强型高模量低收缩聚酯帘线的性能。结果表明：与第2代高模量低收缩聚酯帘线相比，第3代高强型高模量低收缩聚酯浸胶帘线模拟硫化及耐疲劳试验后的断裂强力提高，定负荷伸长率略低，耐疲劳性能提高，其他性能相当。     

盐酸氨溴索有关物质的合成

为控制盐酸氨溴索质量,以外购的有关物质E(2-氨基-3,5-二溴苯甲醛)为起始原料,合成了4个有关物质:2-氨基-3,5-二溴苯甲醇(有关物质A)、反式-4-(6,8-二溴-1,4-二氢喹唑啉-3(2H)-基)环己醇(有关物质B)、反式-4-[[(E)-2-氨基-3,5-二溴苯亚甲基]氨基]环己醇(有关物质C)和顺式-4-[(2-氨基-3,5-二溴苯甲基)氨基]环己醇(有关物质D),通过~1HNMR、~(13)CNMR和MS对产物结构进行了确证,并优化了醛胺缩合和还原反应条件。合成的这4个有关物质可作为盐酸氨溴索质量控制的杂质对照品。